[next] [prev] [prev-tail] [tail] [up]

2.2.8 Integrals 701 to 800

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 701

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

336 336 164 206 323 390 0 317 150

N.S.

1 1.00 0.49 0.61 0.96 1.16 0.00 0.94 0.45

time (sec)

N/A 0.226 0.442 0.062 0.522 0.347 0.000 3.957 4.260

Problem 702

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

336 336 164 206 332 389 0 304 150

N.S.

1 1.00 0.49 0.61 0.99 1.16 0.00 0.90 0.45

time (sec)

N/A 0.226 0.428 0.063 0.500 0.353 0.000 3.286 4.264

Problem 703

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

335 335 161 206 323 396 0 317 149

N.S.

1 1.00 0.48 0.61 0.96 1.18 0.00 0.95 0.44

time (sec)

N/A 0.230 0.393 0.080 0.510 0.360 0.000 3.672 4.232

Problem 704

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

335 335 161 206 332 373 0 302 149

N.S.

1 1.00 0.48 0.61 0.99 1.11 0.00 0.90 0.44

time (sec)

N/A 0.228 0.378 0.085 0.527 0.350 0.000 4.210 4.272

Problem 705

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

335 335 161 212 317 359 252 302 150

N.S.

1 1.00 0.48 0.63 0.95 1.07 0.75 0.90 0.45

time (sec)

N/A 0.228 0.273 0.062 0.505 0.362 11.487 3.226 0.099

Problem 706

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

335 335 161 209 322 357 0 308 150

N.S.

1 1.00 0.48 0.62 0.96 1.07 0.00 0.92 0.45

time (sec)

N/A 0.223 0.264 0.063 0.512 0.365 0.000 3.954 4.284

Problem 707

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

352 352 173 221 328 410 0 327 166

N.S.

1 1.00 0.49 0.63 0.93 1.16 0.00 0.93 0.47

time (sec)

N/A 0.260 0.486 0.099 0.510 0.385 0.000 4.814 0.138

Problem 708

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

352 352 173 224 335 434 0 308 166

N.S.

1 1.00 0.49 0.64 0.95 1.23 0.00 0.88 0.47

time (sec)

N/A 0.255 0.464 0.109 0.513 0.378 0.000 6.983 4.253

Problem 709

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

370 370 189 236 350 457 0 349 179

N.S.

1 1.00 0.51 0.64 0.95 1.24 0.00 0.94 0.48

time (sec)

N/A 0.286 0.495 0.114 0.511 0.369 0.000 5.542 4.327

Problem 710

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

420 420 227 269 421 515 0 374 248

N.S.

1 1.00 0.54 0.64 1.00 1.23 0.00 0.89 0.59

time (sec)

N/A 0.346 0.935 0.148 0.533 0.348 0.000 6.562 4.402

Problem 711

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

402 402 216 250 394 515 0 354 231

N.S.

1 1.00 0.54 0.62 0.98 1.28 0.00 0.88 0.57

time (sec)

N/A 0.318 0.893 0.142 0.509 0.371 0.000 5.718 0.236

Problem 712

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

402 402 216 252 403 479 0 340 231

N.S.

1 1.00 0.54 0.63 1.00 1.19 0.00 0.85 0.57

time (sec)

N/A 0.308 0.835 0.123 0.510 0.365 0.000 6.358 4.358

Problem 713

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

385 385 205 235 377 486 0 352 213

N.S.

1 1.00 0.53 0.61 0.98 1.26 0.00 0.91 0.55

time (sec)

N/A 0.288 0.829 0.084 0.513 0.375 0.000 6.297 0.214

Problem 714

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

385 385 205 241 386 489 0 339 213

N.S.

1 1.00 0.53 0.63 1.00 1.27 0.00 0.88 0.55

time (sec)

N/A 0.278 0.660 0.089 0.508 0.389 0.000 6.361 4.272

Problem 715

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

388 388 205 238 383 506 0 355 210

N.S.

1 1.00 0.53 0.61 0.99 1.30 0.00 0.91 0.54

time (sec)

N/A 0.289 0.741 0.096 0.516 0.349 0.000 11.854 4.289

Problem 716

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

388 388 186 238 392 505 0 342 210

N.S.

1 1.00 0.48 0.61 1.01 1.30 0.00 0.88 0.54

time (sec)

N/A 0.286 0.696 0.082 0.506 0.345 0.000 14.295 0.127

Problem 717

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

391 391 186 236 385 518 0 355 208

N.S.

1 1.00 0.48 0.60 0.98 1.32 0.00 0.91 0.53

time (sec)

N/A 0.293 0.628 0.086 0.503 0.368 0.000 10.905 4.322

Problem 718

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

391 391 186 236 394 513 0 342 208

N.S.

1 1.00 0.48 0.60 1.01 1.31 0.00 0.87 0.53

time (sec)

N/A 0.284 0.618 0.080 0.509 0.373 0.000 18.071 4.230

Problem 719

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

394 394 186 236 385 520 0 355 207

N.S.

1 1.00 0.47 0.60 0.98 1.32 0.00 0.90 0.53

time (sec)

N/A 0.290 0.566 0.081 0.511 0.367 0.000 15.021 0.116

Problem 720

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

394 394 186 236 394 513 0 342 207

N.S.

1 1.00 0.47 0.60 1.00 1.30 0.00 0.87 0.53

time (sec)

N/A 0.292 0.552 0.079 0.514 0.370 0.000 16.389 4.265

Problem 721

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

389 389 183 238 383 512 0 355 209

N.S.

1 1.00 0.47 0.61 0.98 1.32 0.00 0.91 0.54

time (sec)

N/A 0.296 0.468 0.082 0.515 0.348 0.000 7.904 4.280

Problem 722

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

389 389 183 238 392 485 0 340 209

N.S.

1 1.00 0.47 0.61 1.01 1.25 0.00 0.87 0.54

time (sec)

N/A 0.291 0.457 0.079 0.501 0.370 0.000 7.478 0.131

Problem 723

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

387 387 183 244 377 469 547 340 210

N.S.

1 1.00 0.47 0.63 0.97 1.21 1.41 0.88 0.54

time (sec)

N/A 0.296 0.339 0.079 0.522 0.376 33.308 7.660 4.247

Problem 724

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

387 387 183 241 382 475 0 346 210

N.S.

1 1.00 0.47 0.62 0.99 1.23 0.00 0.89 0.54

time (sec)

N/A 0.287 0.334 0.080 0.515 0.377 0.000 4.898 4.289

Problem 725

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

404 404 195 253 388 544 0 365 226

N.S.

1 1.00 0.48 0.63 0.96 1.35 0.00 0.90 0.56

time (sec)

N/A 0.326 0.751 0.156 0.514 0.369 0.000 3.829 0.208

Problem 726

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

404 404 195 256 395 568 0 356 226

N.S.

1 1.00 0.48 0.63 0.98 1.41 0.00 0.88 0.56

time (sec)

N/A 0.330 0.733 0.136 0.520 0.372 0.000 3.198 4.463

Problem 727

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

422 422 211 268 410 591 0 362 239

N.S.

1 1.00 0.50 0.64 0.97 1.40 0.00 0.86 0.57

time (sec)

N/A 0.360 0.741 0.156 0.526 0.368 0.000 3.423 0.273

Problem 728

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 44 41 25 26 0 45 -1

N.S.

1 1.00 0.47 0.44 0.27 0.28 0.00 0.48 -0.01

time (sec)

N/A 0.019 0.020 0.048 0.288 0.323 0.000 4.809 0.000

Problem 729

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 44 41 25 22 0 42 -1

N.S.

1 1.00 0.47 0.44 0.27 0.24 0.00 0.45 -0.01

time (sec)

N/A 0.019 0.017 0.039 0.293 0.345 0.000 4.559 0.000

Problem 730

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 44 41 25 18 27 37 -1

N.S.

1 1.00 0.47 0.44 0.27 0.19 0.29 0.40 -0.01

time (sec)

N/A 0.019 0.017 0.013 0.283 0.329 39.238 4.583 0.000

Problem 731

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 43 40 24 19 0 40 47

N.S.

1 1.00 0.47 0.44 0.26 0.21 0.00 0.44 0.52

time (sec)

N/A 0.019 0.016 0.020 0.280 0.347 0.000 4.272 4.358

Problem 732

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 44 41 25 22 0 41 52

N.S.

1 1.00 0.48 0.45 0.27 0.24 0.00 0.45 0.57

time (sec)

N/A 0.019 0.017 0.018 0.284 0.347 0.000 4.272 4.345

Problem 733

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 42 39 24 23 0 42 53

N.S.

1 1.00 0.46 0.43 0.26 0.25 0.00 0.46 0.58

time (sec)

N/A 0.020 0.018 0.019 0.283 0.338 0.000 3.463 4.377

Problem 734

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 42 39 25 21 0 44 56

N.S.

1 1.00 0.46 0.43 0.27 0.23 0.00 0.48 0.62

time (sec)

N/A 0.019 0.018 0.020 0.280 0.366 0.000 3.624 4.319

Problem 735

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 66 63 83 54 0 99 -1

N.S.

1 1.00 0.34 0.32 0.43 0.28 0.00 0.51 -0.01

time (sec)

N/A 0.039 0.029 0.055 0.284 0.329 0.000 3.359 0.000

Problem 736

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 66 63 83 46 0 90 -1

N.S.

1 1.00 0.34 0.32 0.43 0.24 0.00 0.46 -0.01

time (sec)

N/A 0.037 0.025 0.041 0.297 0.346 0.000 2.949 0.000

Problem 737

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 66 63 83 40 0 85 -1

N.S.

1 1.00 0.34 0.32 0.43 0.21 0.00 0.44 -0.01

time (sec)

N/A 0.035 0.023 0.041 0.292 0.335 0.000 2.846 0.000

Problem 738

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

193 193 66 63 87 42 0 89 76

N.S.

1 1.00 0.34 0.33 0.45 0.22 0.00 0.46 0.39

time (sec)

N/A 0.037 0.023 0.014 0.295 0.352 0.000 3.076 4.496

Problem 739

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

191 191 66 63 87 45 0 102 87

N.S.

1 1.00 0.35 0.33 0.46 0.24 0.00 0.53 0.46

time (sec)

N/A 0.036 0.028 0.022 0.284 0.336 0.000 3.736 4.535

Problem 740

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

193 193 66 63 86 45 0 105 88

N.S.

1 1.00 0.34 0.33 0.45 0.23 0.00 0.54 0.46

time (sec)

N/A 0.036 0.029 0.035 0.295 0.356 0.000 3.387 4.490

Problem 741

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

191 191 66 63 86 45 0 107 91

N.S.

1 1.00 0.35 0.33 0.45 0.24 0.00 0.56 0.48

time (sec)

N/A 0.035 0.028 0.023 0.296 0.334 0.000 3.780 4.533

Problem 742

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

297 297 88 85 147 82 0 153 -1

N.S.

1 1.00 0.30 0.29 0.49 0.28 0.00 0.52 -0.00

time (sec)

N/A 0.056 0.035 0.041 0.279 0.346 0.000 4.007 0.000

Problem 743

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

297 297 88 85 147 70 0 138 -1

N.S.

1 1.00 0.30 0.29 0.49 0.24 0.00 0.46 -0.00

time (sec)

N/A 0.050 0.031 0.043 0.297 0.332 0.000 3.958 0.000

Problem 744

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

297 297 88 85 147 62 0 133 -1

N.S.

1 1.00 0.30 0.29 0.49 0.21 0.00 0.45 -0.00

time (sec)

N/A 0.053 0.027 0.044 0.293 0.328 0.000 4.275 0.000

Problem 745

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

293 293 88 85 151 64 0 137 112

N.S.

1 1.00 0.30 0.29 0.52 0.22 0.00 0.47 0.38

time (sec)

N/A 0.052 0.028 0.015 0.290 0.365 0.000 4.004 4.565

Problem 746

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

295 295 88 85 151 67 0 156 116

N.S.

1 1.00 0.30 0.29 0.51 0.23 0.00 0.53 0.39

time (sec)

N/A 0.051 0.031 0.022 0.288 0.336 0.000 3.977 4.536

Problem 747

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

293 293 88 85 151 67 0 159 116

N.S.

1 1.00 0.30 0.29 0.52 0.23 0.00 0.54 0.40

time (sec)

N/A 0.057 0.033 0.021 0.289 0.359 0.000 4.091 4.564

Problem 748

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

295 295 88 85 150 67 0 162 118

N.S.

1 1.00 0.30 0.29 0.51 0.23 0.00 0.55 0.40

time (sec)

N/A 0.052 0.039 0.043 0.297 0.357 0.000 4.534 4.716

Problem 749

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

457 457 163 239 266 223 0 273 -1

N.S.

1 1.00 0.36 0.52 0.58 0.49 0.00 0.60 -0.00

time (sec)

N/A 0.209 0.173 0.152 0.497 0.363 0.000 5.096 0.000

Problem 750

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

412 412 151 221 241 219 0 254 -1

N.S.

1 1.00 0.37 0.54 0.58 0.53 0.00 0.62 -0.00

time (sec)

N/A 0.192 0.145 0.150 0.506 0.363 0.000 2.971 0.000

Problem 751

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

410 410 150 214 250 170 0 238 -1

N.S.

1 1.00 0.37 0.52 0.61 0.41 0.00 0.58 -0.00

time (sec)

N/A 0.186 0.143 0.136 0.511 0.366 0.000 3.270 0.000

Problem 752

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

368 368 123 183 216 173 41 242 -1

N.S.

1 1.00 0.33 0.50 0.59 0.47 0.11 0.66 -0.00

time (sec)

N/A 0.166 0.112 0.132 0.509 0.355 15.625 4.319 0.000

Problem 753

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

368 368 125 182 226 165 0 251 -1

N.S.

1 1.00 0.34 0.49 0.61 0.45 0.00 0.68 -0.00

time (sec)

N/A 0.158 0.111 0.127 0.496 0.376 0.000 3.688 0.000

Problem 754

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

412 412 150 224 234 198 0 264 -1

N.S.

1 1.00 0.36 0.54 0.57 0.48 0.00 0.64 -0.00

time (sec)

N/A 0.191 0.147 0.137 0.495 0.360 0.000 3.078 0.000

Problem 755

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

414 414 152 239 242 227 0 256 -1

N.S.

1 1.00 0.37 0.58 0.58 0.55 0.00 0.62 -0.00

time (sec)

N/A 0.189 0.155 0.135 0.506 0.359 0.000 3.911 0.000

Problem 756

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

459 459 160 251 259 253 0 284 -1

N.S.

1 1.00 0.35 0.55 0.56 0.55 0.00 0.62 -0.00

time (sec)

N/A 0.217 0.167 0.130 0.505 0.347 0.000 4.049 0.000

Problem 757

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-2) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

551 551 206 737 0 341 0 377 -1

N.S.

1 1.00 0.37 1.34 0.00 0.62 0.00 0.68 -0.00

time (sec)

N/A 0.269 0.368 0.067 0.000 0.345 0.000 3.567 0.000

Problem 758

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-2) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

504 504 195 679 0 341 0 357 -1

N.S.

1 1.00 0.39 1.35 0.00 0.68 0.00 0.71 -0.00

time (sec)

N/A 0.247 0.377 0.069 0.000 0.372 0.000 3.130 0.000

Problem 759

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

504 504 195 696 0 305 0 343 -1

N.S.

1 1.00 0.39 1.38 0.00 0.61 0.00 0.68 -0.00

time (sec)

N/A 0.241 0.364 0.070 0.000 0.375 0.000 3.618 0.000

Problem 760

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

458 458 184 612 0 312 0 345 -1

N.S.

1 1.00 0.40 1.34 0.00 0.68 0.00 0.75 -0.00

time (sec)

N/A 0.224 0.354 0.043 0.000 0.398 0.000 4.263 0.000

Problem 761

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

458 458 184 666 279 315 0 332 -1

N.S.

1 1.00 0.40 1.45 0.61 0.69 0.00 0.72 -0.00

time (sec)

N/A 0.211 0.348 0.043 0.529 0.389 0.000 4.781 0.000

Problem 762

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

459 459 179 617 272 326 0 348 -1

N.S.

1 1.00 0.39 1.34 0.59 0.71 0.00 0.76 -0.00

time (sec)

N/A 0.220 0.343 0.043 0.528 0.346 0.000 3.550 0.000

Problem 763

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

459 459 180 668 281 308 0 332 -1

N.S.

1 1.00 0.39 1.46 0.61 0.67 0.00 0.72 -0.00

time (sec)

N/A 0.212 0.333 0.044 0.532 0.354 0.000 4.221 0.000

Problem 764

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

460 460 181 617 265 304 0 333 -1

N.S.

1 1.00 0.39 1.34 0.58 0.66 0.00 0.72 -0.00

time (sec)

N/A 0.225 0.240 0.040 0.523 0.341 0.000 4.584 0.000

Problem 765

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

460 460 181 638 0 298 0 339 -1

N.S.

1 1.00 0.39 1.39 0.00 0.65 0.00 0.74 -0.00

time (sec)

N/A 0.219 0.228 0.039 0.000 0.355 0.000 3.823 0.000

Problem 766

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

506 506 193 645 0 343 0 368 -1

N.S.

1 1.00 0.38 1.27 0.00 0.68 0.00 0.73 -0.00

time (sec)

N/A 0.252 0.378 0.069 0.000 0.367 0.000 3.928 0.000

Problem 767

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

506 506 193 707 0 367 0 359 -1

N.S.

1 1.00 0.38 1.40 0.00 0.73 0.00 0.71 -0.00

time (sec)

N/A 0.248 0.375 0.074 0.000 0.371 0.000 3.710 0.000

Problem 768

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

553 553 204 687 0 390 0 390 -1

N.S.

1 1.00 0.37 1.24 0.00 0.71 0.00 0.71 -0.00

time (sec)

N/A 0.274 0.383 0.069 0.000 0.366 0.000 4.077 0.000

Problem 769

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

647 647 229 1287 0 457 0 415 -1

N.S.

1 1.00 0.35 1.99 0.00 0.71 0.00 0.64 -0.00

time (sec)

N/A 0.331 0.730 0.086 0.000 0.369 0.000 4.425 0.000

Problem 770

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

600 600 218 1171 0 457 0 395 -1

N.S.

1 1.00 0.36 1.95 0.00 0.76 0.00 0.66 -0.00

time (sec)

N/A 0.311 0.670 0.080 0.000 0.363 0.000 4.139 0.000

Problem 771

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

600 600 218 1202 0 421 0 381 -1

N.S.

1 1.00 0.36 2.00 0.00 0.70 0.00 0.64 -0.00

time (sec)

N/A 0.310 0.626 0.091 0.000 0.377 0.000 4.541 0.000

Problem 772

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-2) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

554 554 207 1046 0 428 0 383 -1

N.S.

1 1.00 0.37 1.89 0.00 0.77 0.00 0.69 -0.00

time (sec)

N/A 0.281 0.551 0.048 0.000 0.371 0.000 3.089 0.000

Problem 773

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F(-2) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

554 554 201 1134 583 431 0 370 -1

N.S.

1 1.00 0.36 2.05 1.05 0.78 0.00 0.67 -0.00

time (sec)

N/A 0.279 0.577 0.051 0.560 0.364 0.000 3.781 0.000

Problem 774

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F(-2) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

557 557 201 1051 577 448 0 386 -1

N.S.

1 1.00 0.36 1.89 1.04 0.80 0.00 0.69 -0.00

time (sec)

N/A 0.283 0.569 0.048 0.560 0.395 0.000 3.759 0.000

Problem 775

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

557 557 202 1136 595 447 0 373 -1

N.S.

1 1.00 0.36 2.04 1.07 0.80 0.00 0.67 -0.00

time (sec)

N/A 0.278 0.576 0.048 0.551 0.355 0.000 2.676 0.000

Problem 776

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

560 560 201 1051 584 462 0 386 -1

N.S.

1 1.00 0.36 1.88 1.04 0.82 0.00 0.69 -0.00

time (sec)

N/A 0.289 0.488 0.048 0.556 0.354 0.000 2.847 0.000

Problem 777

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

560 560 201 1136 597 455 0 373 -1

N.S.

1 1.00 0.36 2.03 1.07 0.81 0.00 0.67 -0.00

time (sec)

N/A 0.284 0.470 0.048 0.555 0.342 0.000 3.568 0.000

Problem 778

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

557 557 201 1051 582 454 0 386 -1

N.S.

1 1.00 0.36 1.89 1.04 0.82 0.00 0.69 -0.00

time (sec)

N/A 0.290 0.461 0.047 0.551 0.361 0.000 4.518 0.000

Problem 779

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

557 557 201 1136 586 429 0 371 -1

N.S.

1 1.00 0.36 2.04 1.05 0.77 0.00 0.67 -0.00

time (sec)

N/A 0.283 0.439 0.047 0.550 0.361 0.000 2.914 0.000

Problem 780

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

556 556 201 1051 569 414 0 371 -1

N.S.

1 1.00 0.36 1.89 1.02 0.74 0.00 0.67 -0.00

time (sec)

N/A 0.287 0.304 0.046 0.540 0.363 0.000 3.879 0.000

Problem 781

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

556 556 201 1133 0 416 0 377 -1

N.S.

1 1.00 0.36 2.04 0.00 0.75 0.00 0.68 -0.00

time (sec)

N/A 0.281 0.294 0.048 0.000 0.353 0.000 4.114 0.000

Problem 782

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

602 602 213 1081 0 477 0 406 -1

N.S.

1 1.00 0.35 1.80 0.00 0.79 0.00 0.67 -0.00

time (sec)

N/A 0.310 0.605 0.084 0.000 0.364 0.000 3.901 0.000

Problem 783

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

602 602 213 1183 0 501 0 397 -1

N.S.

1 1.00 0.35 1.97 0.00 0.83 0.00 0.66 -0.00

time (sec)

N/A 0.317 0.578 0.076 0.000 0.364 0.000 4.467 0.000

Problem 784

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

649 649 224 1129 0 524 0 428 -1

N.S.

1 1.00 0.35 1.74 0.00 0.81 0.00 0.66 -0.00

time (sec)

N/A 0.355 0.594 0.085 0.000 0.359 0.000 4.395 0.000

Problem 785

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 105 602 144 507 3104 847 540

N.S.

1 1.00 0.70 4.01 0.96 3.38 20.69 5.65 3.60

time (sec)

N/A 0.082 0.182 0.018 0.293 0.342 0.950 4.430 4.579

Problem 786

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 73 292 100 253 1278 415 263

N.S.

1 1.00 0.70 2.81 0.96 2.43 12.29 3.99 2.53

time (sec)

N/A 0.052 0.059 0.014 0.286 0.353 0.514 2.578 4.513

Problem 787

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 41 57 56 87 330 135 95

N.S.

1 1.00 0.71 0.98 0.97 1.50 5.69 2.33 1.64

time (sec)

N/A 0.016 0.041 0.015 0.289 0.363 0.239 3.031 4.270

Problem 788

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 42 0 0 0 0 0 -1

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.013 0.025 0.020 0.000 0.000 0.000 0.000 0.000

Problem 789

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 42 0 0 0 0 0 -1

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.012 0.026 0.005 0.000 0.000 0.000 0.000 0.000

Problem 790

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 42 0 0 0 0 0 -1

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.013 0.030 0.006 0.000 0.000 0.000 0.000 0.000

Problem 791

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

313 313 111 453 243 369 0 900 -1

N.S.

1 1.00 0.35 1.45 0.78 1.18 0.00 2.88 -0.00

time (sec)

N/A 0.082 0.119 0.033 0.302 0.383 0.000 4.447 0.000

Problem 792

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

205 205 131 199 119 159 0 384 -1

N.S.

1 1.00 0.64 0.97 0.58 0.78 0.00 1.87 -0.00

time (sec)

N/A 0.054 0.071 0.014 0.284 0.358 0.000 2.734 0.000

Problem 793

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 53 56 35 35 0 83 -1

N.S.

1 1.00 0.55 0.58 0.36 0.36 0.00 0.86 -0.01

time (sec)

N/A 0.025 0.029 0.010 0.281 0.348 0.000 3.568 0.000

Problem 794

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 62 0 0 0 0 0 -1

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.022 0.032 0.010 0.000 0.000 0.000 0.000 0.000

Problem 795

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 60 0 0 0 0 0 -1

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.023 0.034 0.006 0.000 0.000 0.000 0.000 0.000

Problem 796

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 60 0 0 0 0 0 -1

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.023 0.035 0.006 0.000 0.000 0.000 0.000 0.000

Problem 797

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 77 66 0 0 0 0 0 -1

N.S.

1 1.04 0.89 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.018 0.029 0.025 0.000 0.000 0.000 0.000 0.000

Problem 798

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

174 174 110 150 115 163 0 375 206

N.S.

1 1.00 0.63 0.86 0.66 0.94 0.00 2.16 1.18

time (sec)

N/A 0.078 0.068 0.039 0.304 0.348 0.000 3.773 4.403

Problem 799

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 77 96 79 108 0 235 137

N.S.

1 1.00 0.59 0.74 0.61 0.83 0.00 1.81 1.05

time (sec)

N/A 0.055 0.052 0.030 0.271 0.356 0.000 2.567 4.267

Problem 800

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 51 58 54 70 0 132 85

N.S.

1 1.00 0.61 0.69 0.64 0.83 0.00 1.57 1.01

time (sec)

N/A 0.039 0.039 0.023 0.286 0.336 0.000 3.211 4.264

[next] [prev] [prev-tail] [front] [up]